[next] [prev] [prev-tail] [tail] [up]

2.2.21 Integrals 2001 to 2100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 243 51 726 0 42 39 0 40

N.S.

1 1.00 0.21 2.99 0.00 0.17 0.16 0.00 0.16

time (sec)

N/A 0.265 10.018 0.387 0.000 0.078 0.541 0.000 6.039

Problem 2002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 270 51 742 0 59 41 0 0

N.S.

1 1.01 0.19 2.78 0.00 0.22 0.15 0.00 0.00

time (sec)

N/A 0.293 10.017 0.552 0.000 0.085 0.657 0.000 0.000

Problem 2003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 300 51 753 0 70 41 0 0

N.S.

1 1.03 0.18 2.59 0.00 0.24 0.14 0.00 0.00

time (sec)

N/A 0.332 10.017 0.780 0.000 0.101 0.743 0.000 0.000

Problem 2004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

563 594 80 1127 0 0 48 0 0

N.S.

1 1.06 0.14 2.00 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.578 10.035 0.443 0.000 0.000 0.738 0.000 0.000

Problem 2005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

539 564 51 1109 0 0 48 0 0

N.S.

1 1.05 0.09 2.06 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.548 10.015 3.766 0.000 0.000 0.612 0.000 0.000

Problem 2006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

507 533 47 1107 0 0 42 0 38

N.S.

1 1.05 0.09 2.18 0.00 0.00 0.08 0.00 0.07

time (sec)

N/A 0.521 10.014 0.364 0.000 0.000 0.519 0.000 5.651

Problem 2007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

517 538 51 1125 0 53 41 0 0

N.S.

1 1.04 0.10 2.18 0.00 0.10 0.08 0.00 0.00

time (sec)

N/A 0.514 10.019 3.739 0.000 0.077 0.595 0.000 0.000

Problem 2008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

541 568 51 1138 0 66 41 0 0

N.S.

1 1.05 0.09 2.10 0.00 0.12 0.08 0.00 0.00

time (sec)

N/A 0.562 10.018 3.586 0.000 0.100 0.672 0.000 0.000

Problem 2009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

565 598 51 1149 0 77 41 0 0

N.S.

1 1.06 0.09 2.03 0.00 0.14 0.07 0.00 0.00

time (sec)

N/A 0.579 10.018 0.934 0.000 0.102 0.799 0.000 0.000

Problem 2010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 71 82 91 98 179 76 51 74

N.S.

1 1.04 1.21 1.34 1.44 2.63 1.12 0.75 1.09

time (sec)

N/A 0.195 0.315 0.372 0.267 0.379 1.845 0.316 6.107

Problem 2011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 64 72 84 66 151 100 55 69

N.S.

1 1.10 1.24 1.45 1.14 2.60 1.72 0.95 1.19

time (sec)

N/A 0.190 0.351 0.388 0.274 0.363 1.509 0.353 6.461

Problem 2012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 62 87 86 61 164 83 50 43

N.S.

1 1.05 1.47 1.46 1.03 2.78 1.41 0.85 0.73

time (sec)

N/A 0.193 0.334 0.337 0.278 0.366 1.278 0.336 6.233

Problem 2013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 28 15 14 39 71 14 26

N.S.

1 1.00 1.56 0.83 0.78 2.17 3.94 0.78 1.44

time (sec)

N/A 0.147 1.866 0.055 0.197 0.278 0.638 0.279 6.512

Problem 2014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 38 39 30 53 371 29 68

N.S.

1 1.11 1.00 1.03 0.79 1.39 9.76 0.76 1.79

time (sec)

N/A 0.183 2.149 0.042 0.194 0.289 0.943 0.292 6.979

Problem 2015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 49 50 47 64 1001 43 88

N.S.

1 1.07 0.83 0.85 0.80 1.08 16.97 0.73 1.49

time (sec)

N/A 0.197 2.254 0.053 0.200 0.279 1.443 0.277 7.388

Problem 2016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 60 61 64 75 2317 57 108

N.S.

1 1.05 0.75 0.76 0.80 0.94 28.96 0.71 1.35

time (sec)

N/A 0.219 2.386 0.082 0.200 0.289 2.161 0.279 8.058

Problem 2017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 98 91 104 179 102 59 79

N.S.

1 1.07 1.32 1.23 1.41 2.42 1.38 0.80 1.07

time (sec)

N/A 0.196 0.313 0.572 0.276 0.384 2.536 0.318 6.517

Problem 2018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 49 82 79 68 149 49 45 59

N.S.

1 0.98 1.64 1.58 1.36 2.98 0.98 0.90 1.18

time (sec)

N/A 0.173 0.265 0.397 0.286 0.367 1.233 0.313 6.540

Problem 2019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B A F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 60 59 37 102 24 0 19

N.S.

1 1.00 2.22 2.19 1.37 3.78 0.89 0.00 0.70

time (sec)

N/A 0.161 0.365 0.237 0.267 0.366 0.589 0.000 6.251

Problem 2020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 18 29 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.00 1.61 0.78 0.78

time (sec)

N/A 0.142 0.238 0.398 0.246 0.262 0.349 0.290 5.935

Problem 2021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 31 36 30 31 255 30 25

N.S.

1 1.05 0.82 0.95 0.79 0.82 6.71 0.79 0.66

time (sec)

N/A 0.178 0.299 0.374 0.302 0.270 0.910 0.286 5.894

Problem 2022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 61 42 47 47 42 824 47 56

N.S.

1 1.03 0.71 0.80 0.80 0.71 13.97 0.80 0.95

time (sec)

N/A 0.189 1.700 0.379 0.189 0.270 1.381 0.299 5.953

Problem 2023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 53 58 64 53 2183 61 73

N.S.

1 1.00 0.66 0.72 0.80 0.66 27.29 0.76 0.91

time (sec)

N/A 0.200 1.858 0.375 0.187 0.265 2.047 0.317 5.929

Problem 2024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 308 91 753 0 0 46 0 0

N.S.

1 1.05 0.31 2.56 0.00 0.00 0.16 0.00 0.00

time (sec)

N/A 0.349 10.045 3.564 0.000 0.000 0.685 0.000 0.000

Problem 2025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 278 80 742 0 0 46 0 0

N.S.

1 1.03 0.30 2.75 0.00 0.00 0.17 0.00 0.00

time (sec)

N/A 0.294 10.027 0.679 0.000 0.000 0.605 0.000 0.000

Problem 2026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 64 727 0 0 42 0 0

N.S.

1 1.00 0.26 2.93 0.00 0.00 0.17 0.00 0.00

time (sec)

N/A 0.266 10.027 0.340 0.000 0.000 0.542 0.000 0.000

Problem 2027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 49 437 0 16 37 0 40

N.S.

1 1.00 0.22 1.98 0.00 0.07 0.17 0.00 0.18

time (sec)

N/A 0.250 10.016 0.533 0.000 0.082 0.528 0.000 6.000

Problem 2028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 246 51 732 0 43 39 0 0

N.S.

1 1.00 0.21 2.98 0.00 0.17 0.16 0.00 0.00

time (sec)

N/A 0.275 10.018 0.948 0.000 0.080 0.641 0.000 0.000

Problem 2029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 276 51 742 0 59 39 0 0

N.S.

1 1.02 0.19 2.75 0.00 0.22 0.14 0.00 0.00

time (sec)

N/A 0.301 10.017 1.543 0.000 0.094 0.766 0.000 0.000

Problem 2030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

566 600 79 1125 0 0 46 0 0

N.S.

1 1.06 0.14 1.99 0.00 0.00 0.08 0.00 0.00

time (sec)

N/A 0.573 10.044 1.175 0.000 0.000 0.665 0.000 0.000

Problem 2031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

542 570 62 1113 0 0 46 0 0

N.S.

1 1.05 0.11 2.05 0.00 0.00 0.08 0.00 0.00

time (sec)

N/A 0.555 10.028 0.664 0.000 0.000 0.586 0.000 0.000

Problem 2032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

513 539 49 2374 0 0 41 0 38

N.S.

1 1.05 0.10 4.63 0.00 0.00 0.08 0.00 0.07

time (sec)

N/A 0.522 10.021 0.268 0.000 0.000 0.491 0.000 5.517

Problem 2033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

491 515 49 1115 0 24 39 0 0

N.S.

1 1.05 0.10 2.27 0.00 0.05 0.08 0.00 0.00

time (sec)

N/A 0.512 10.017 0.718 0.000 0.089 0.558 0.000 0.000

Problem 2034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

520 544 51 1127 0 52 39 0 0

N.S.

1 1.05 0.10 2.17 0.00 0.10 0.08 0.00 0.00

time (sec)

N/A 0.535 10.017 1.129 0.000 0.093 0.674 0.000 0.000

Problem 2035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

544 574 51 1138 0 66 39 0 0

N.S.

1 1.06 0.09 2.09 0.00 0.12 0.07 0.00 0.00

time (sec)

N/A 0.558 10.021 1.795 0.000 0.082 0.830 0.000 0.000

Problem 2036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

568 604 51 1149 0 77 39 0 0

N.S.

1 1.06 0.09 2.02 0.00 0.14 0.07 0.00 0.00

time (sec)

N/A 0.585 10.017 2.840 0.000 0.090 1.007 0.000 0.000

Problem 2037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 104 98 96 122 243 110 76 96

N.S.

1 1.09 1.03 1.01 1.28 2.56 1.16 0.80 1.01

time (sec)

N/A 0.218 1.945 0.584 0.273 0.403 3.708 0.369 6.649

Problem 2038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 73 84 83 86 215 73 59 73

N.S.

1 1.14 1.31 1.30 1.34 3.36 1.14 0.92 1.14

time (sec)

N/A 0.201 0.405 0.421 0.279 0.379 1.745 0.367 6.284

Problem 2039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 74 70 52 186 187 0 34

N.S.

1 1.00 1.61 1.52 1.13 4.04 4.07 0.00 0.74

time (sec)

N/A 0.182 0.321 0.251 0.266 0.384 0.990 0.000 5.784

Problem 2040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 30 27 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.67 1.50 0.78 0.78

time (sec)

N/A 0.150 0.253 0.050 0.188 0.271 0.470 0.277 5.854

Problem 2041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 29 37 30 37 51 0 31

N.S.

1 1.00 0.76 0.97 0.79 0.97 1.34 0.00 0.82

time (sec)

N/A 0.179 0.566 0.384 0.192 0.281 0.647 0.000 6.046

Problem 2042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 42 50 47 54 466 0 62

N.S.

1 1.00 0.71 0.85 0.80 0.92 7.90 0.00 1.05

time (sec)

N/A 0.199 0.575 0.391 0.191 0.278 1.495 0.000 6.169

Problem 2043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 51 59 64 63 2048 0 82

N.S.

1 1.00 0.65 0.76 0.82 0.81 26.26 0.00 1.05

time (sec)

N/A 0.219 2.664 0.400 0.196 0.290 2.299 0.000 6.166

Problem 2044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 337 91 1454 0 0 46 0 0

N.S.

1 1.07 0.29 4.62 0.00 0.00 0.15 0.00 0.00

time (sec)

N/A 0.384 10.044 2.500 0.000 0.000 0.711 0.000 0.000

Problem 2045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 307 80 1443 0 0 46 0 0

N.S.

1 1.05 0.27 4.96 0.00 0.00 0.16 0.00 0.00

time (sec)

N/A 0.324 10.034 1.716 0.000 0.000 0.596 0.000 0.000

Problem 2046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 277 67 1431 0 0 42 0 0

N.S.

1 1.03 0.25 5.32 0.00 0.00 0.16 0.00 0.00

time (sec)

N/A 0.300 10.027 1.408 0.000 0.000 0.587 0.000 0.000

Problem 2047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 57 1822 0 59 37 0 40

N.S.

1 1.00 0.23 7.35 0.00 0.24 0.15 0.00 0.16

time (sec)

N/A 0.270 10.029 0.421 0.000 0.101 0.663 0.000 6.072

Problem 2048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 245 58 1825 0 58 39 0 0

N.S.

1 1.00 0.24 7.45 0.00 0.24 0.16 0.00 0.00

time (sec)

N/A 0.276 10.023 0.990 0.000 0.080 0.729 0.000 0.000

Problem 2049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 275 54 1431 0 75 39 0 0

N.S.

1 1.03 0.20 5.36 0.00 0.28 0.15 0.00 0.00

time (sec)

N/A 0.310 10.020 2.090 0.000 0.079 0.911 0.000 0.000

Problem 2050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

587 629 78 2211 0 0 46 0 0

N.S.

1 1.07 0.13 3.77 0.00 0.00 0.08 0.00 0.00

time (sec)

N/A 0.616 10.049 2.517 0.000 0.000 0.684 0.000 0.000

Problem 2051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

563 599 65 2199 0 0 46 0 0

N.S.

1 1.06 0.12 3.91 0.00 0.00 0.08 0.00 0.00

time (sec)

N/A 0.589 10.041 1.857 0.000 0.000 0.578 0.000 0.000

Problem 2052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

539 567 53 2700 0 0 41 0 38

N.S.

1 1.05 0.10 5.01 0.00 0.00 0.08 0.00 0.07

time (sec)

N/A 0.568 10.026 0.873 0.000 0.000 0.592 0.000 5.977

Problem 2053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

520 543 52 2703 0 65 39 0 0

N.S.

1 1.04 0.10 5.20 0.00 0.12 0.08 0.00 0.00

time (sec)

N/A 0.534 10.019 0.441 0.000 0.081 0.648 0.000 0.000

Problem 2054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

517 543 52 2200 0 64 39 0 0

N.S.

1 1.05 0.10 4.26 0.00 0.12 0.08 0.00 0.00

time (sec)

N/A 0.545 10.019 1.913 0.000 0.086 0.784 0.000 0.000

Problem 2055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

541 573 54 2213 0 86 39 0 0

N.S.

1 1.06 0.10 4.09 0.00 0.16 0.07 0.00 0.00

time (sec)

N/A 0.566 10.021 2.489 0.000 0.090 0.974 0.000 0.000

Problem 2056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

565 603 54 2224 0 99 39 0 0

N.S.

1 1.07 0.10 3.94 0.00 0.18 0.07 0.00 0.00

time (sec)

N/A 0.591 10.020 3.279 0.000 0.092 1.220 0.000 0.000

Problem 2057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 212 173 34 179 107 22 172 48

N.S.

1 1.12 0.91 0.18 0.94 0.56 0.12 0.91 0.25

time (sec)

N/A 0.422 0.055 0.026 0.277 0.278 0.081 0.288 5.870

Problem 2058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 45 62 68 53 127 44 41 35

N.S.

1 0.96 1.32 1.45 1.13 2.70 0.94 0.87 0.74

time (sec)

N/A 0.171 0.182 0.069 0.283 0.281 1.086 0.285 6.290

Problem 2059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

49 46 66 65 60 112 66 36 0

N.S.

1 0.94 1.35 1.33 1.22 2.29 1.35 0.73 0.00

time (sec)

N/A 0.194 0.057 0.035 0.268 0.274 0.886 0.289 0.000

Problem 2060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 72 65 49 109 66 60 31

N.S.

1 1.00 1.67 1.51 1.14 2.53 1.53 1.40 0.72

time (sec)

N/A 0.182 0.177 0.052 0.272 0.291 0.846 0.292 6.285

Problem 2061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

50 54 60 74 79 130 46 46 0

N.S.

1 1.08 1.20 1.48 1.58 2.60 0.92 0.92 0.00

time (sec)

N/A 0.193 0.097 0.052 0.298 0.295 1.082 0.273 0.000

Problem 2062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 109 93 107 0 47 44 0 0

N.S.

1 1.02 0.87 1.00 0.00 0.44 0.41 0.00 0.00

time (sec)

N/A 0.213 6.063 0.585 0.000 0.090 0.574 0.000 0.000

Problem 2063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 236 47 130 0 0 42 0 38

N.S.

1 1.05 0.21 0.58 0.00 0.00 0.19 0.00 0.17

time (sec)

N/A 0.331 10.014 0.490 0.000 0.000 0.548 0.000 6.088

Problem 2064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 109 51 107 0 46 39 0 39

N.S.

1 1.02 0.48 1.00 0.00 0.43 0.36 0.00 0.36

time (sec)

N/A 0.209 10.016 0.445 0.000 0.104 0.572 0.000 5.976

Problem 2065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 243 51 143 0 91 41 0 0

N.S.

1 1.03 0.22 0.61 0.00 0.39 0.17 0.00 0.00

time (sec)

N/A 0.343 10.016 0.534 0.000 0.093 0.631 0.000 0.000

Problem 2066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 81 75 66 129 95 78 48

N.S.

1 1.02 1.29 1.19 1.05 2.05 1.51 1.24 0.76

time (sec)

N/A 0.191 0.270 0.057 0.267 0.302 1.585 0.310 6.359

Problem 2067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

69 71 79 85 95 143 95 63 0

N.S.

1 1.03 1.14 1.23 1.38 2.07 1.38 0.91 0.00

time (sec)

N/A 0.205 0.120 0.070 0.284 0.313 1.519 0.295 0.000

Problem 2068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 62 83 76 61 141 80 122 43

N.S.

1 1.05 1.41 1.29 1.03 2.39 1.36 2.07 0.73

time (sec)

N/A 0.198 0.261 0.058 0.277 0.290 1.309 0.300 6.029

Problem 2069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

71 78 70 86 119 160 75 70 0

N.S.

1 1.10 0.99 1.21 1.68 2.25 1.06 0.99 0.00

time (sec)

N/A 0.210 0.189 0.061 0.266 0.333 1.676 0.290 0.000

Problem 2070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 131 52 117 0 0 44 0 0

N.S.

1 1.04 0.41 0.93 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.242 10.019 0.422 0.000 0.000 0.733 0.000 0.000

Problem 2071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 260 52 140 0 0 42 0 38

N.S.

1 1.04 0.21 0.56 0.00 0.00 0.17 0.00 0.15

time (sec)

N/A 0.352 10.017 0.522 0.000 0.000 0.661 0.000 6.198

Problem 2072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 133 52 117 0 58 39 0 39

N.S.

1 1.06 0.41 0.93 0.00 0.46 0.31 0.00 0.31

time (sec)

N/A 0.221 10.018 0.579 0.000 0.091 0.640 0.000 6.389

Problem 2073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 267 52 156 0 108 41 0 0

N.S.

1 1.04 0.20 0.61 0.00 0.42 0.16 0.00 0.00

time (sec)

N/A 0.348 10.018 0.707 0.000 0.092 0.719 0.000 0.000

Problem 2074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 82 96 90 81 170 112 142 66

N.S.

1 1.02 1.20 1.12 1.01 2.12 1.40 1.78 0.82

time (sec)

N/A 0.200 0.320 0.093 0.275 0.289 2.474 0.311 6.990

Problem 2075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

91 95 94 103 139 169 124 88 0

N.S.

1 1.04 1.03 1.13 1.53 1.86 1.36 0.97 0.00

time (sec)

N/A 0.222 0.154 0.087 0.271 0.303 2.624 0.278 0.000

Problem 2076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 80 82 89 75 169 107 180 60

N.S.

1 1.04 1.06 1.16 0.97 2.19 1.39 2.34 0.78

time (sec)

N/A 0.198 0.339 0.080 0.271 0.302 2.463 0.305 6.640

Problem 2077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

92 102 81 97 158 182 102 87 0

N.S.

1 1.11 0.88 1.05 1.72 1.98 1.11 0.95 0.00

time (sec)

N/A 0.220 0.229 0.104 0.288 0.276 2.762 0.285 0.000

Problem 2078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 157 54 131 0 0 44 0 0

N.S.

1 1.08 0.37 0.90 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.262 10.024 0.605 0.000 0.000 0.924 0.000 0.000

Problem 2079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 284 54 151 0 0 42 0 38

N.S.

1 1.04 0.20 0.56 0.00 0.00 0.15 0.00 0.14

time (sec)

N/A 0.379 10.016 0.756 0.000 0.000 0.827 0.000 6.245

Problem 2080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 157 54 130 0 73 39 0 39

N.S.

1 1.07 0.37 0.88 0.00 0.50 0.27 0.00 0.27

time (sec)

N/A 0.244 10.020 0.811 0.000 0.077 0.838 0.000 6.686

Problem 2081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 291 54 167 0 119 41 0 0

N.S.

1 1.05 0.19 0.60 0.00 0.43 0.15 0.00 0.00

time (sec)

N/A 0.391 10.019 0.991 0.000 0.083 0.836 0.000 0.000

Problem 2082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 49 76 70 68 126 46 44 38

N.S.

1 0.98 1.52 1.40 1.36 2.52 0.92 0.88 0.76

time (sec)

N/A 0.182 0.204 0.051 0.304 0.280 1.303 0.286 6.100

Problem 2083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 26 17 21 19 14 17

N.S.

1 1.00 1.00 1.24 0.81 1.00 0.90 0.67 0.81

time (sec)

N/A 0.149 0.025 0.025 0.193 0.252 0.420 0.272 5.873

Problem 2084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 56 49 37 80 20 25 19

N.S.

1 1.00 2.07 1.81 1.37 2.96 0.74 0.93 0.70

time (sec)

N/A 0.160 0.328 0.032 0.276 0.270 0.643 0.306 5.911

Problem 2085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A A A F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

30 30 52 52 45 77 22 23 0

N.S.

1 1.00 1.73 1.73 1.50 2.57 0.73 0.77 0.00

time (sec)

N/A 0.173 0.042 0.031 0.293 0.273 0.674 0.282 0.000

Problem 2086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 112 64 111 0 51 42 0 0

N.S.

1 1.02 0.58 1.01 0.00 0.46 0.38 0.00 0.00

time (sec)

N/A 0.217 10.031 0.409 0.000 0.077 0.576 0.000 0.000

Problem 2087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 242 49 110 0 75 41 0 43

N.S.

1 1.05 0.21 0.48 0.00 0.32 0.18 0.00 0.19

time (sec)

N/A 0.340 10.017 0.317 0.000 0.079 0.495 0.000 5.965

Problem 2088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 90 77 83 0 29 37 0 39

N.S.

1 1.02 0.88 0.94 0.00 0.33 0.42 0.00 0.44

time (sec)

N/A 0.177 11.049 0.270 0.000 0.080 0.564 0.000 6.020

Problem 2089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 218 49 133 0 72 39 0 0

N.S.

1 1.03 0.23 0.63 0.00 0.34 0.18 0.00 0.00

time (sec)

N/A 0.306 10.017 0.407 0.000 0.084 0.621 0.000 0.000

Problem 2090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 78 79 86 192 75 55 53

N.S.

1 1.06 1.13 1.14 1.25 2.78 1.09 0.80 0.77

time (sec)

N/A 0.186 0.317 0.071 0.280 0.285 1.791 0.276 6.442

Problem 2091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 30 38 36 42 42 33 24

N.S.

1 1.00 0.75 0.95 0.90 1.05 1.05 0.82 0.60

time (sec)

N/A 0.168 0.039 0.048 0.186 0.248 0.524 0.276 6.214

Problem 2092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 68 67 52 163 187 43 34

N.S.

1 1.00 1.48 1.46 1.13 3.54 4.07 0.93 0.74

time (sec)

N/A 0.172 0.240 0.042 0.273 0.287 1.037 0.309 6.135

Problem 2093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 29 17 31 22 14 26

N.S.

1 1.00 1.00 1.38 0.81 1.48 1.05 0.67 1.24

time (sec)

N/A 0.141 0.023 0.026 0.222 0.249 0.586 0.295 6.005

Problem 2094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 141 67 130 0 81 42 0 0

N.S.

1 1.08 0.51 0.99 0.00 0.62 0.32 0.00 0.00

time (sec)

N/A 0.229 10.025 0.971 0.000 0.118 0.623 0.000 0.000

Problem 2095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 269 53 182 0 113 41 0 43

N.S.

1 1.04 0.21 0.71 0.00 0.44 0.16 0.00 0.17

time (sec)

N/A 0.357 10.024 0.447 0.000 0.095 0.598 0.000 6.055

Problem 2096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 112 57 110 0 68 37 0 39

N.S.

1 1.02 0.52 1.00 0.00 0.62 0.34 0.00 0.35

time (sec)

N/A 0.204 8.171 0.367 0.000 0.084 0.690 0.000 6.053

Problem 2097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 248 52 181 0 102 39 0 0

N.S.

1 1.03 0.22 0.75 0.00 0.42 0.16 0.00 0.00

time (sec)

N/A 0.328 7.379 0.327 0.000 0.089 0.737 0.000 0.000

Problem 2098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 96 99 140 101 260 819 69 73

N.S.

1 1.09 1.12 1.59 1.15 2.95 9.31 0.78 0.83

time (sec)

N/A 0.199 0.502 0.132 0.270 0.289 2.775 0.325 6.710

Problem 2099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 69 49 50 54 65 163 45 38

N.S.

1 1.08 0.77 0.78 0.84 1.02 2.55 0.70 0.59

time (sec)

N/A 0.201 0.050 0.074 0.192 0.277 0.803 0.305 6.199

Problem 2100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 70 88 221 62 232 743 55 48

N.S.

1 1.09 1.38 3.45 0.97 3.62 11.61 0.86 0.75

time (sec)

N/A 0.191 0.373 0.066 0.284 0.270 1.669 0.353 6.125

[next] [prev] [prev-tail] [front] [up]